#include <Uefi.h>
#include <Library/PrintLib.h>
#include <Library/UefiBootServicesTableLib.h>
#include <Library/UefiApplicationEntryPoint.h>

EFI_STATUS
UefiMain(EFI_HANDLE ImageHandle, EFI_SYSTEM_TABLE *SystemTable)
{
  gST->ConOut->OutputString(gST->ConOut, L"Hello, UEFI World!\r\n");

  return EFI_SUCCESS;
}